axiomatic system перевод

• лог. аксиоматическая система

• axiomatic:    прил. самоочевидный, не требующий доказательствааксиоматический axiomatic аксиоматический ~ самоочевидный, не требующийдоказательства axiomatical: axiomatical =axiomaticaxiomatic, axiomaticalаксиома
• system:    1) система; способ; метод Ex: a good system of teaching French хорошая система (-ий метод) обучения французскому языку Ex: the touch system of typewriting печатание на машинке по слепому методу2) (т
• axiomatic analysis:    мат. аксиоматический анализ
• axiomatic approach:    аксиоматический подход
• axiomatic characterization:    мат. аксиоматическое описание
• axiomatic closure:    мат. аксиоматическое замыкание
• axiomatic conception:    мат. аксиоматическая концепция
• axiomatic constraint:    аксиоматическое ограничение
• axiomatic construction:    мат. аксиоматическое построение
• axiomatic definition:    мат. аксиоматическое определение
• axiomatic description:    мат. аксиоматическое описание
• axiomatic development:    мат. аксиоматический вывод
• axiomatic extension:    мат. аксиоматическое расширение
• axiomatic form:    аксиоматическая форма (теории)
• axiomatic formalism:    аксиоматический формализм

• The constant N depends on how the formal system is effectively represented, and thus does not directly reflect the complexity of the axiomatic system.
  Константа зависит от того, насколько данная формальная система богата, и, таким образом, прямо не отражает сложность системы аксиом.
• In practice, most mathematicians either do not work from axiomatic systems, or if they do, do not doubt the consistency of ZFC, generally their preferred axiomatic system.
  Большинство математиков или не работают с уровня аксиоматических систем, или, если работают, то не сомневаются в корректности системы ZFC, наиболее популярной аксиоматической системы.
• In practice, most mathematicians either do not work from axiomatic systems, or if they do, do not doubt the consistency of ZFC, generally their preferred axiomatic system.
  Большинство математиков или не работают с уровня аксиоматических систем, или, если работают, то не сомневаются в корректности системы ZFC, наиболее популярной аксиоматической системы.